A defense of the value of studying what Aristotle, in the Politics, refers to as useless things, and thereby a defense of the 'uselessness' of the study of the liberal arts.

Disturbance-generated biomass results from endogenous and exogenous natural and cultural disturbances that affect the health and productivity of forest ecosystems. These disturbances can create large quantities of plant biomass on predictable cycles. A systems analysis model has been developed to quantify aspects of system capacities (harvest, transportation, and processing), spatial aspects of the biomass generation process, and deterioration impacts on biomass quality in the various inventory states (field stands, field-harvested inventories, transportation prepared inventories, and production facility inventories). Optimal decision alternatives (...) can be used to guide responses to reclamation, utilization, mitigation, and control. This is particularly advantageous in insect and disease outbreaks, in which the process may last several years, with varying levels of intensity. The prescriptive system description, assuming capacities are fixed, results in a linear programming model. The time-dependent capacity decision model results in a mixed-integer programming model. The analytical model is developed in detail in this analysis. (shrink)

The Edinburgh Medical Group Research Project is unique in Britain. Part of its function is to experiment with teaching medical ethics both inside and outside of the Medical School. The papers which follow have been written by two full-time reseach fellows working with the Project and two of the professional advisers, one nursing and one medical. Together they give a picture of the wide scope of exerimental teaching taking place in Edinburgh and present some preliminary results from these experiments.

In its comprehensive overview of Alain Locke's pragmatist philosophy this book captures the radical implications of Locke's approach within pragmatism, the critical temper embedded in Locke's works, the central role of power and empowerment of the oppressed and the concept of broad democracy Locke employed.

The Peanese convention for the use of dots as brackets has the disadvantage that it gives only an awkward method for representing chains of indefinite length, such as the compound implicationSuch chains occur frequently in logical investigations of a metatheoretic nature, and it is convenient to have a systematic method of abbreviating them. The most obvious method of doing this would be to leave the parentheses out entirely, and to understand that in such cases the implication sign or other operation (...) appearing on the extreme left is the most inclusive; but this method, which has been followed by Quine, is at variance with our ordinary algebraic usage, in which we write a − b + c − d for ((a − b) + c) − d, and consequently leads to confusion. It is desirable to have a modification of the Peanese convention which gives a simple method of representing such chain implications, and at the same time avoids this difficulty.Such a modification is easily obtained by generalizing somewhat a procedure of Church. The latter author uses only a single dot, which he writes on the right of an operator to signify a bracket extending from that point to the end of the formula (or parenthesized expression). If dots are used only on the right of operations this is all that can be desired. But the essential idea of this device can be extended to the case where dots are used also on the left, as follows: let us suppose that a group of dots on the right of an operation or prefix denotes the beginning of a bracket which extends to the right until it meets a group with an equal or larger number of dots on the left of an operation; and that the scope of a group of dots on the left of an operation shall extend to the left until it reaches a larger group of dots on the right of some operation. (shrink)

What methodology should philosophers follow? Should they rely on methods that can be conducted from the armchair? Or should they leave the armchair and turn to the methods of the natural sciences, such as experiments in the laboratory? Or is this opposition itself a false one? Arguments about philosophical methodology are raging in the wake of a number of often conflicting currents, such as the growth of experimental philosophy, the resurgence of interest in metaphysical questions, and the use of formal (...) methods. This outstanding collection of specially-commissioned chapters by leading international philosophers discusses these questions and many more. It provides a comprehensive survey of philosophical methodology in the most important philosophical subjects: metaphysics, epistemology, philosophy of language, philosophy of mind, phenomenology, philosophy of science, ethics, and aesthetics. A key feature of the collection is that philosophers discuss and evaluate contrasting approaches in each subject, offering a superb overview of the variety of methodological approaches - both naturalistic and non-naturalistic - in each of these areas. They examine important topics at the heart of methodological argument, including the role of intuitions and conceptual analysis, thought experiments, introspection, and the place that results from the natural sciences should have in philosophical theorizing. The collection begins with a fascinating exchange about philosophical naturalism between Timothy Williamson and Alexander Rosenberg, and also includes contributions from the following philosophers: Lynne Rudder Baker, Matt Bedke, Greg Currie, Michael Devitt, Matthew C. Haug, Jenann Ismael, Hilary Kornblith, Neil Levy, E.J. Lowe, Kirk Ludwig, Marie McGinn, David Papineau, Matthew Ratcliffe, Georges Rey, Jeffrey W. Roland, Barry C. Smith, Amie L. Thomasson, Valerie Tiberius, Jessica Wilson, and David W. Smith. (shrink)

The overarching argument of Currie’s Rock, Bone, and Ruin is that we should be optimistic rather than pessimistic about what the historical sciences can tell us, even about the deep past. To adopt either of these two positions is to take a stance on how the historical sciences tend to perform—on whether they tend to do well, or poorly, when it comes to informing us about the past.

We present an approach to anaphora and ellipsis resolution in which pronouns and elided structures are interpreted by the dynamic identification in discourse of type constraints on their semantic representations. The content of these conditions is recovered in context from an antecedent expression. The constraints define separation types in Property Theory with Curry Typing, an expressive first-order logic with Curry typing that we have proposed as a formal framework for natural language semantics.

In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.

A BSTRACT. We present Property Theory with Curry Typing, an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a typetheoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic analyses (...) of this phenomenon. (shrink)

Neste artigo eu defendo que o conhecimento de proposições filosóficas pode e deve desempenhar o papel de ideal regulador das aulas de Filosofia no Ensino Médio. Grosso modo, penso haver dois tipos de conhecimento pressupostos nas aulas de Filosofia no Ensino Médio: o primeiro, que, por conveniência, chamarei de conhecimento filosófico disposicional, e o segundo, o conhecimento filosófico proposicional. O primeiro consiste naquele conhecimento que leva em conta apenas certas habilidades filosóficas de identificação de teses, de identificação e análise (...) de argumentos etc. O segundo envolve a garantia da verdade de uma proposição filosófica via justificação. Argumento que o conhecimento filosófico disposicional, embora seja um pressuposto epistemológico suficiente a ser tomado para a confecção de uma aula de Filosofia no Ensino Médio, não é necessário. Isso porque esse tipo de conhecimento não desempenha satisfatoriamente a função de objetivo último das aulas de Filosofia, se considerarmos uma característica fundamental da Filosofia: qual seja, aquela atividade que, através de seus autores, possui enquanto objetivo último obter conhecimento de certas proposições filosóficas. Além disso, argumento que o primeiro tipo de conhecimento é adequadamente desenvolvido somente se regulado por um ideal de conhecimento do segundo tipo. Assim considerado, além de fazermos, de fato, a Filosofia presente na sala de aula, tendemos a ter ganhos consideráveis para a postura dos alunos frente às questões filosóficas fundamentais. (shrink)

In this paper we study the systems P and $P^{\ast}$ (see Arruda and da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemātica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories having P and $P^{\ast}$ as their underlying logics are non-trivial.

In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP * as their underlying logics are non-trivial.

It has often been remarked that the metatheory of strong reduction $\succ$ , the combinatory analogue of βη-reduction ${\twoheadrightarrow_{\beta\eta}}$ in λ-calculus, is rather complicated. In particular, although the confluence of $\succ$ is an easy consequence of ${\twoheadrightarrow_{\beta\eta}}$ being confluent, no direct proof of this fact is known. Curry and Hindley’s problem, dating back to 1958, asks for a self-contained proof of the confluence of $\succ$ , one which makes no detour through λ-calculus. We answer positively to this question, by extending (...) and exploiting the technique of transitivity elimination for ‘analytic’ combinatory proof systems, which has been introduced in previous papers of ours. Indeed, a very short proof of the confluence of $\succ$ immediately follows from the main result of the present paper, namely that a certain analytic proof system G e [ $\mathbb {C}$ ] , which is equivalent to the standard proof system CL ext of Combinatory Logic with extensionality, admits effective transitivity elimination. In turn, the proof of transitivity elimination—which, by the way, we are able to provide not only for G e [ $\mathbb {C}$ ] but also, in full generality, for arbitrary analytic combinatory systems with extensionality—employs purely proof-theoretical techniques, and is entirely contained within the theory of combinators. (shrink)